A¹ homotopy theory - PDFSEARCH.IO - Document Search Engine

A¹ homotopy theory
Results: 280

#	Item
61	HOMOTOPY LIMITS IN TYPE THEORY JEREMY AVIGAD, KRZYSZTOF KAPULKIN, AND PETER LEFANU LUMSDAINE Abstract. Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized Add to Reading List Source URL: peterlefanulumsdaine.com Language: English - Date: 2016-04-19 10:06:33
62	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-21 07:27:06
63	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-19 17:30:09
64	COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  Add to Reading List Source URL: web.emn.fr Language: English - Date: 2015-05-11 05:01:14
65	Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-15 06:13:17 Homotopy theory Algebraic topology Category theory Differential topology Homotopy type theory Type theory Fibration Homotopy Homotopical algebra Model category Homotopy fiber
66	ON THE ARITHMETIC OF ELLIPTIC CURVES AND A HOMOTOPY LIMIT PROBLEM IGOR KRIZ In this note, I study a comparison map between a Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2016-03-14 11:38:05 Algebra Abstract algebra Mathematics Cohomology theories Homological algebra Group theory Algebraic geometry Algebraic topology Motivic cohomology Cohomology tale cohomology Norm residue isomorphism theorem
67	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: www.heidelberg-laureate-forum.org Language: English - Date: 2014-06-05 11:45:29
68	ON KONTSEVICH’S HOCHSCHILD COHOMOLOGY CONJECTURE P. HU, I. KRIZ AND A.A. VORONOV 1. Introduction A conjecture of Deligne stated that the Hochschild cohomology complex of an Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2004-09-22 08:24:48 Homotopy theory Algebraic topology Category theory Abstract algebra Functors Highly structured ring spectrum Model category Simplicial set Koszul duality Operad theory Hochschild homology Cohomology
69	Bibliography of Igor Kriz [1] I.Kriz, Y.Xiu: Tree field algebras, preprint (preliminary version), I.Kriz, M.Loebl, P.Somberg: Fermions on a compact Riemann surface and limits of dimer models, preprint (prelimin Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2010-10-12 22:36:16 Topology Homotopy theory Mathematics Abstract algebra Cohomology Cobordism Homotopy category Equivariant stable homotopy theory Adams spectral sequence Algebraic topology K-theory Stable homotopy theory
70	THE EQUIVARIANT COMPLEX COBORDISM RING OF A FINITE ABELIAN GROUP WILLIAM ABRAM, IGOR KRIZ Abstract. We compute the equivariant (stable) complex cobordism ring (M UG )∗ for finite abelian groups G. Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2013-07-25 12:22:45 Algebraic topology Homotopy theory Surgery theory Cobordism Differential topology Cohomology Classifying space Sheaf Ring Spectrum Equivariant cohomology Whitehead torsion